/* PR middle-end/117199 */
/* { dg-lto-do link } */
/* { dg-lto-options { "-O2 -flto" } } */
/* { dg-lto-options { "-O2 -flto -mtune=znver3" } { target i?86-*-* x86_64-*-* } } */

__attribute__((used)) void
foo (int *x, int y, int z)
{
  const unsigned char v[128] = {
    0, 64, 32, 96, 16, 80, 48, 112,
    8, 72, 40, 104, 24, 88, 56, 120,
    4, 68, 36, 100, 20, 84, 52, 116,
    12, 76, 44, 108, 28, 92, 60, 124,
    2, 66, 34, 98, 18, 82, 50, 114,
    10, 74, 42, 106, 26, 90, 58, 122,
    6, 70, 38, 102, 22, 86, 54, 118,
    14, 78, 46, 110, 30, 94, 62, 126,
    1, 65, 33, 97, 17, 81, 49, 113,
    9, 73, 41, 105, 25, 89, 57, 121
  };
  x[v[z]] = 1;
}

__attribute__((used)) void
bar (int *x, int y, int z)
{
  const unsigned char v[128] = {
    0, 64, 32, 96, 16, 80, 48, 112,
    8, 72, 40, 104, 24, 88, 56, 120,
    4, 68, 36, 100, 20, 84, 52, 116,
    12, 76, 44, 108, 28, 92, 60, 124,
    2, 66, 34, 98, 18, 82, 50, 114,
    10, 74, 42, 106, 26, 90, 58, 122,
    6, 70, 38, 102, 22, 86, 54, 118,
    14, 78, 46, 110, 30, 94, 62, 126,
    1, 65, 33, 97, 17, 81, 49, 113,
    9, 73, 41, 105, 25, 89, 57, 121
  };
  x[v[z]] = 2;
}

int
main ()
{
}
